Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
171	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2009-07-14 10:07:18 Propositional calculus Boolean algebra Substructural logic Philosophical logic Relevance logic Negation Intuitionistic logic Modal logic BL Logic Mathematical logic Non-classical logic
172	Shaping the logic of fuzzy set theory Siegfried Gottwald1 Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2009-12-01 16:25:38 T-norm fuzzy logics Monoidal t-norm logic BL Many-valued logic T-norm Łukasiewicz logic Fuzzy set Membership function Intuitionistic logic Logic Fuzzy logic Mathematical logic
173	162 SAUNDERS MACLANE Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:31:16 Peano axioms Axiom Metamath Mathematical proof Principia Mathematica Intuitionistic logic Propositional calculus Consistency Function Logic Mathematics Mathematical logic
174	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics
175	CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics
176	Negative consistent axioms can be postulated without loss of canonicity Thierry Coquand, Nils Anders Danielsson, Mart´ın H¨ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-19 03:17:32 Set theory Z notation Type theory Axiom Mathematical constructivism Model theory Mathematical proof S Intuitionistic type theory Mathematical logic Logic Mathematics
177	Free Heyting algebras: revisited N. Bezhanishvili1⋆ 1 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2013-01-22 10:09:34 Mathematical logic Algebraic structures Mathematical constructivism Order theory Boolean algebra Heyting algebra Distributive lattice Lattice Intuitionistic logic Mathematics Abstract algebra Lattice theory
178	WHAT’S DEFINITE? WHAT’S NOT? Solomon Feferman Harvey Friedman Conference Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2009-08-05 17:46:19 Formal languages Logic in computer science Intuitionism Mathematical constructivism Interpretation Intuitionistic logic Function Peano axioms Constructible universe Logic Mathematical logic Mathematics
179	Uniform Logical Relations Edwin Westbrook Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-04-06 13:26:12 Dependently typed programming Logic in computer science Type theory Proof theory Functions and mappings Function Intuitionistic type theory Lambda calculus Xi Mathematics Mathematical logic Logic
180	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics